1. Formal methods for protocol engineering and distributed systems :
Author: edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
Classification :
QA76
.
9
.
F67
E358
1999
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. The great structures in architecture :
Author: F. Escrig
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Architectural design-- History,Architecture-- History,Structural design-- History,Structural engineering-- History
Classification :
NA200
.
E73
2006
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. The great structures in architecture : antiquity to baroque
Author: Escrig, F.
Library: Central library and information center (Khorasan Razavi)
Subject: History ، Architecture,History ، Structural design,History ، Structural engineering,History ، Architectural design
Classification :
NA
200
.
E76
2006
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. The great structures in architecture: antiquity to baroque
Author: Escrig, F.
Library: (Semnan)
Subject: History ، Architecture,History ، Structural design,History ، Structural engineering,History ، Architectural design
Classification :
NA
200
.
E7G7
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)